Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами	429 KB	Adobe Acrobat PDF	Read	Download

#последовательностные схемы

#ROBDD- графы

#робастно тестируемые неисправности задержек путей

Title: Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами
Creator: Матросова, Анжела Юрьевна
|
Андреева, Валентина Валерьевна
|
Николаева, Екатерина Александровна
Date: 2018
Description: Предлагается метод поиска всех тестовых пар для робастно тестируемых неисправностей задержек пути. В зарубежных источниках обычно ограничиваются построением одной или нескольких тестовых пар, которые состоят из соседних наборов и компактно представляются в виде ROBDD-графа (Reduced Ordered Binary Decision Diagram). Получение множества всех тестовых пар дает возможность строить тестовые последовательности, обнаруживающие робастно тестируемые неисправности задержек путей в схемах с памятью без дополнительных аппаратурных затрат. Кроме того, имея множества тестовых пар, можно формировать компактные множества тестов для режима сканирования, ориентированные на снижение потребляемой мощности в процессе тестирования комбинационной составляющей схемы с памятью. Решение сводится к поиску булевой разности рассматриваемого пути. Булева разность находится путем выполнения операций над ROBDD-графами, характеризующимися полиномиальной сложностью, и представляется соответствующим ROBDD-графом.

Relationships: Show Relationship Browser for this Object
collection(s): Институт прикладной математики и компьютерных наук (c 01.09.2017 г.) | Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Известия высших учебных заведений. Физика. 2018. Т. 61, № 5. С. 169-173
Language: rus

Created: 20-11-2024

139 Visitors

105 Hits

37 Downloads

Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)

Журналы ТГУ Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами